1141. Software science and engineering : Selected Papers from the Kyoto Symposia
پدیدآورنده : edited by Ikuo Nakata, Masami Hagiya
کتابخانه: (طهران)
موضوع : Computer software Congresses, Software engineering Congresses
رده :
QA
76
.
754
.
S6472
1991
1142. Software systems in Engineering 1995 : Presented at the Energy and Environmental Expo 95-The Energy-Sources Technology Conference and Exhibition Houston, Texas, January 29-February 1, 1995
پدیدآورنده : Sponsored by the Petroleum Division, ASME; edited by Daniel Cooke...]et. al.[
کتابخانه: (طهران)
موضوع : Software engineering - Congresses , Systems engineering - Congresses
رده :
QA
76
.
758
.
E53
1995
1143. Software systems in engineering : presented at the Energy-Sources Technology Conference, New Orleans, Louisiana, January 23-26, 1994
پدیدآورنده : sponsored by the Petroleum Division, ASME ; edited by Murat M. Tanik, Wilhelm Rossak, Daniel E. Cooke
کتابخانه: (طهران)
موضوع : Software engineering - Congresses , Systems engineering - Congresses
رده :
QA
76
.
758
.
S6563
1994
1144. Software systems safety /
پدیدآورنده : edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Software engineering, Congresses.,Systems software-- Safety measures, Congresses.
1145. Software technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
1146. Software technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
1147. Software technologies :
پدیدآورنده : Manuel Mazzara, Iulian Ober, Gwen Salaün (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Computer software, Congresses.,Computer science.,Computer software.
رده :
QA76
.
758
1148. Software technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
1149. Software technologies for embedded and ubiquitous systems
پدیدآورنده : Sunggu Lee, Priya Narasimhan (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems, Congresses,Software engineering, Congresses,Ubiquitous computing, Congresses
رده :
TK7895
.
E42
S48
2009eb
1150. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
1151. Special topics in structural dynamics.
پدیدآورنده : Nikolaos Dervilis, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Structural dynamics, Congresses.,Structural dynamics.,TECHNOLOGY & ENGINEERING-- Civil-- General.
رده :
TA654
1152. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Xavier Défago, Franck Petit, Vincent Villainches
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
1153. Static Analysis
پدیدآورنده : \ Sandrine Blazy , Thomas Jensen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامه‌نویسی -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌نویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
1154. Static analysis :
پدیدآورنده : Antoine Miné, David Schmidt (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
6
.
I5733
2012eb
1155. Static analysis
پدیدآورنده : Francesco Logozzo, Manuel Fähndrich (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
1156. Static analysis
پدیدآورنده : Jens Palsberg, Zhendong Su (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
I5733
2009
1157. Static analysis :
پدیدآورنده : Eran Yahav (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
1158. Statistics and simulation :
پدیدآورنده : Jurgen Pilz, Dieter Rasch, Viatcheslav B. Melas, Karl Moder, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Perfect simulation (Statistics), Congresses.,3D graphics & modelling.,Mathematical & statistical software.,Perfect simulation (Statistics),Probability & statistics.,REFERENCE-- Questions & Answers.
رده :
T57
.
62
1159. Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers
پدیدآورنده : David Alex Lamb, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1078
1160. Subject-oriented business process management :
پدیدآورنده : Albert Fleischmann [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business-- Data processing, Congresses,Computer network architectures, Congresses,Management information systems, Congresses,Software engineering, Congresses
رده :
T58
.
6
.
S37
2011
